proof of program
[计] 程序证明
热门查询
- outdone v. 胜过；优于（outdo的过去分词）
- client n. [经] 客户；顾客；委托人
- spate n. 洪水；一阵；大雨；突然迸发
- hoar n. 灰白；白霜 n. (Hoar)人名；(英)霍尔 adj. 白的；灰色的
- stewed adj. 焦虑不安的；烂醉的；炖煮的 v. 用文火慢慢煨炖；使…焦虑不安（stew的过去分词）
- Britten 布里顿（人名）
- beatrice n. 比阿特丽斯（女子名）；碧翠斯（女子名）
- irritatingly adv. 刺激地；使愤怒地
- electroencephalogram n. [内科] 脑电图，[内科] 脑动电流图
- excisional adj. 切除的
- writhe n. 翻滚；扭动；苦恼 vt. 扭曲；扭动 vi. 翻滚；蠕动
- veined adj. [矿物] 有叶脉的；有脉纹的；[矿物] 有纹理的 v. 使有纹理（vein的过去式）
- howard n. 霍华德（男子名）
- ondansetron n. 昂丹司琼
- pricked v. 刺，扎，戳( prick的过去式和过去分词 ); 刺伤; 刺痛; 使剧痛
- quickness n. 急速，迅速；尖锐化
- wag n. 摇摆；爱说笑打趣的人 vt. 摇摆；摇动；饶舌 vi. 摆动；喋喋不休；蹒跚而行
- cyclist n. 骑自行车的人
- disproportion n. 不均衡；不相称 vt. 使不均衡
- unrivalled adj. 无与伦比的；无敌的
考试词汇表
- control turns (windings)
- control unit description
- control valve dial plate
- control valve for fluids
- control valve piston rod
- control, two-dimensional
- control-key combinations
- control-mode ventilation
- control-point coordinate
- control-rod motion speed
- control-rod servo system
- control-surface actuator
- control-switch mechanism
- control-tower visibility
- controlautomation system
- controllability criteria
- controllability of units
- controllability on water
- controllability subindex
- controllabilty condition
